#include <unistd.h>
#include <gccore.h>

int
main(int argc, char **argv)
{
	VIDEO_Init();
	*(vu32*)0x8132FFFB = 0x50756E65;
	DCFlushRange((void*)0x8132FFFB, 4);
	sleep(2);
	SYS_ResetSystem(SYS_RETURNTOMENU, 0, 0);
	return 0;
}
